inspector: Remove unnecessary cast
authorCarlos Garnacho <carlosg@gnome.org>
Mon, 30 Jul 2018 12:19:07 +0000 (14:19 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Mon, 30 Jul 2018 12:21:22 +0000 (14:21 +0200)
commita8c6f222edd7bdb495b09184331ab3f6335412d7
tree1da6ffa525d6c79489aeafb17486e2cf5b835c82
parentc5afea0c6bc03a754e7993a44aeeb165b671fe6c
inspector: Remove unnecessary cast

Pointed out by Timm.
gtk/inspector/inspect-button.c